大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers

0
索取号：
作者：Dolev、 Shlomi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Methods in Mechanics [electronic resource] : Lectures of the CMM 2009

0
索取号：
作者：Kuczma、 Mieczys艂aw.、Wilmanski、 Krzysztof.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

0
索取号：
作者：Guerraoui、 Rachid.、Petit、 Franck.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Dams、 Dennis R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Semantic Methods for Execution-level Business Process Modeling [electronic resource] : Modeling Support Through Process Verification and Service Composition

0
索取号：
作者：Weber、 Ingo M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

0
索取号：
作者：Governatori、 Guido.、Hall、 John.、Paschke、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Intelligence and Intelligent Systems [electronic resource] : 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings

0
索取号：
作者：Cai、 Zhihua.、Li、 Zhenhua.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings

0
索取号：
作者：Watanabe、 Osamu.、Zeugmann、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

MicroRNA Expression Detection Methods [electronic resource]

0
索取号：
作者：Wang、 Zhiguo.、Yang、 Baofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Gibbons、 Jeremy.、Oliveira、 Jos茅 Nuno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Computation and Intelligence [electronic resource] : 4th International Symposium, ISICA 2009 Huangshi, China, Ocotober 23-25, 2009 Proceedings

0
索取号：
作者：Cai、 Zhihua.、Li、 Zhenhua.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Information Retrieval Technology [electronic resource] : 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings

0
索取号：
作者：Lee、 Gary Geunbae.、Song、 Dawei.、Lin、 Chin-Yew.、Aizawa、 Akiko.、Kuriyama、 Kazuko.、Yoshioka、 Masaharu.、Sakai、 Tetsuya.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

0
索取号：
作者：Liu、 Zhiming.、Ravn、 Anders P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Game Theory [electronic resource] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings

0
索取号：
作者：Mavronicolas、 Marios.、Papadopoulou、 Vicky G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、Jaoua、 Ali Mohamed.、M枚ller、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Immunohistochemistry: Basics and Methods [electronic resource]

0
索取号：
作者：Buchwalow、 Igor B.、B枚cker、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.